Proof theory - PDFSEARCH.IO - Document Search Engine

Proof theory
Results: 1637

#	Item
851	Istituto per la Ricerca Scientifica e Tecnologica I[removed]Trento Loc. Pant e di Povo tel[removed]Telex[removed]ITCRST Telefax[removed]The Inevitability of Inconsistent Abstract Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-07-29 07:17:16 Proof theory Thought Abstraction Philosophy of language Axiom Concept Theorem Propositional calculus Lambda calculus Logic Mathematics Mathematical logic
852	A new proof of Morley’s theorem∗ par ´ oﬀered me its hosIt is now 22 years since IHES pitality. I have learnt there most of the mathematics I know, mostly thanks to impromptu lunch conversations with visitors or p Add to Reading List Source URL: www.alainconnes.org Language: English - Date: 2002-11-02 12:01:22 Ordinal numbers Set theory Musical tuning
853	PDF Document Add to Reading List Source URL: www.ams.org Language: English - Date: 2011-10-25 15:14:14 Complexity classes Natural proof Alexander Razborov P Circuit complexity Steven Rudich Oracle machine Time complexity Gödel Prize Theoretical computer science Applied mathematics Computational complexity theory
854	discrete math lecture notes Add to Reading List Source URL: fmat.cl Language: English - Date: 2011-06-15 03:28:59 Fibonacci number Number theory Euclidean algorithm Division algorithm Mathematical induction Pi Mathematical proof Well-ordering principle Fundamental theorem of arithmetic Mathematics Mathematical logic Mathematical series
855	09421 Abstracts Collection Algebraic Methods in Computational Complexity Dagstuhl Seminar 1 Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2010-01-20 05:14:19 Lance Fortnow Bounded-error probabilistic polynomial P versus NP problem Low NP-complete Reduction IP Probabilistically checkable proof NP Theoretical computer science Applied mathematics Computational complexity theory
856	ON THE RIGOROUS DERIVATION OF THE 2D CUBIC NONLINEAR ¨ SCHRODINGER EQUATION FROM 3D QUANTUM MANY-BODY DYNAMICS XUWEN CHEN AND JUSTIN HOLMER Add to Reading List Source URL: www.math.brown.edu Language: English - Date: 2012-12-10 20:05:48 Mathematics Proof theory Constructible universe Mathematical logic Ordinal numbers
857	arXiv:0711.0484v2 [math.DS] 5 Nov[removed]IDEMPOTENT ULTRAFILTERS AND POLYNOMIAL RECURRENCE CHRISTIAN SCHNELL Abstract. We give a new proof of a polynomial recurrence result due to Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-02-14 04:18:56 General topology Non-standard analysis Ultrafilter Stone–Čech compactification Idempotence Filter Projection Constructible universe Boolean-valued model Mathematics Topology Order theory
858	1 EGRES Quick-Proof No[removed]Finding edge-disjoint subgraphs in graphs Attila Bern´ath? and Zolt´an Kir´aly Add to Reading List Source URL: www.cs.elte.hu Language: English - Date: 2010-04-12 06:05:14 Spanning tree NP-complete problems One-in-three 3SAT Tree Theoretical computer science Mathematics Computational complexity theory
859	arXiv:0905.1680v1 [math.HO] 11 May[removed]IS SET THEORY INDISPENSABLE? NIK WEAVER Abstract. Although Zermelo-Fraenkel set theory (ZFC) is generally accepted as the appropriate foundation for modern mathematics, proof theo Add to Reading List Source URL: arxiv.org Language: English - Date: 2009-05-11 20:18:44 Z notation Cardinal numbers Philosophy of mathematics Forcing Zermelo–Fraenkel set theory Von Neumann universe Finite set Continuum hypothesis Foundations of mathematics Mathematical logic Mathematics Set theory
860	Extracting Feasible Programs Add to Reading List Source URL: aaai.org Language: English - Date: 2006-01-11 06:16:21 Proof theory Functions and mappings Logic in computer science Function Primitive recursive function Curry–Howard correspondence Second-order logic Modal logic Computational complexity theory Mathematics Logic Mathematical logic

UPDATE